finite specification
英 [ˈfaɪnaɪt ˌspesɪfɪˈkeɪʃn]
美 [ˈfaɪnaɪt ˌspesɪfɪˈkeɪʃn]
有限说明
双语例句
- Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification) in another finite state machine ( program).
不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。 - Finite state machine based specification for schedule and synchronization is presented.
给出了基于有限状态机的调度和同步描述。 - The model and results are very useful in both finite element modeling and press capacity specification.
本文的模型和结果对于有限元模拟系统的建立以及压力机吨位的合理选用和确定，具有重要的参考价值。 - Then three-dimension full-implicit-continuous-Eulerian scheme ( FICE) which is used to simulate the nonlinear propagation of gravity waves is given in detail, including the finite difference method of fluid dynamics equations, the specification of boundary condition, the determination of time step length and so on.
本文详细描述了用于模拟重力波非线性传播的三维全隐欧拉格式（FICE），包括流体力学方程组的差分化、边界条件的处理、时间步长的确定等。 - In this paper, also build the finite element numerical model of the actual structure, which provides the modal data of the Nondestructive status Structure. Also provides basis for further research and verifying the rationality of design and modification specification.
还建立了与实际结构相符的有限元数值模型由此提供结构无损状态的模态数据，也为我们进一步研究和验证设计合理性及修改规范提供了依据。